Axiomatisierbarkeit


Axiomatisierbarkeit
(f)
аксиоматизируемость

Немецко-русский математический словарь. 2013.

Смотреть что такое "Axiomatisierbarkeit" в других словарях:

  • Elementare Klasse — Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik. Es geht dabei um die Frage, wie sich Klassen von Strukturen durch Sätze der Prädikatenlogik erster Stufe charakterisieren lassen.… …   Deutsch Wikipedia

  • Anatoli Iwanowitsch Malzew — (russisch Анатолий Иванович Мальцев, wiss. Transliteration Anatolij Ivanovič Mal cev; im Englischen transkribiert Anatoly Ivanovich Malcev; * 14.jul./ 27. November 1909greg. in Mischeronski bei Schatura; † 7. Juli 1967 in… …   Deutsch Wikipedia

  • Anatoli Malzew — Anatoli Iwanowitsch Malzew (russisch Анатолий Иванович Мальцев, wiss. Transliteration Anatolij Ivanovič Mal cev; * 14.jul./ 27. November 1909greg. in Mischeronski bei Schatura; † 7. Juli 1967 in Nowosibirsk) war ein russischer Mathematiker und… …   Deutsch Wikipedia

  • Endlichkeitssatz — Der Endlichkeitssatz, auch Kompaktheitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge X ist genau dann erfüllbar (d.h. hat ein Modell) …   Deutsch Wikipedia

  • Formalisierte Theorie — Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden. Zur Formalisierung der Axiome und der Beweise benutzt man dabei die… …   Deutsch Wikipedia

  • Kompaktheitssatz — Der Endlichkeitssatz, auch Kompaktheitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Logik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge X ist genau dann erfüllbar (d.h. hat ein Modell), wenn jede …   Deutsch Wikipedia

  • Kurt Gödel — als Student der Universität Wien Mitte der 1920er Jahre Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch amerikanischer Mathematiker und einer …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.